嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

215/70R17.5 10PR 118/116L无内胎半钢载重子午线轮胎的设计

介绍215/70R17.5 10PR 118/116L无内胎半钢载重子午线轮胎的设计。结构设计:外直径741 mm,断面宽204 mm,行驶面宽度164 mm,胎冠曲线采用反向弧设计,胎圈着合直径442.8 mm,胎圈着合宽度178 mm,断面水平轴位置(H_1/H_2)1.0,采用4条纵向花纹沟设计,花纹深度12 mm,花纹饱和度71.3%,花纹周节数63。施工设计:胎面胶采用乳聚丁苯橡胶与顺丁橡胶并用的生胶体系,带束层采用2层2+7×0.28HT钢丝帘线,胎体采用2层2220dtex/2聚酯帘线,胎体上加贴2层锦纶帘布过渡增强层,胎圈采用软、硬两种三角胶,采用二次法成型机成型、B型液压硫化机硫化。成品性能试验结果表明:轮胎的充气外缘尺寸、强度性能、耐久性能和高速性能均达到相关标准要求,胎圈耐久性能显著提高。     

GOS+MU:一种查询对象选择新方法

在分析单一MU(Most Uncertainty)采样缺陷的基础上,提出一种"全局最优搜寻"方法 GOS(Global Optimal Search),并结合MU共同完成查询选择。GOS+MU方法中,GOS着眼全局寻找目标,在应用环境能提供的训练样本数量有限、分类器受训不充分时,该方法选择的对象学习价值高,能快速推进分类器学习进程;MU则能够在GOS采样失效情形下,利用分类器当前训练成果,选择查询不确定性最强的样本补充训练集。通过对网络商品的用户评论进行分类仿真,并比较其他采样学习方法的效果,证明了GOS+MU方法在压缩学习成本、提高训练效率方面的有效性。     

改进HSR-FCN的服装图像识别分类算法研究

目前网络上的服装图像数量增长迅猛，对于大量服装图像实现智能分类的需求日益增加。将基于区域的全卷积网络（Region-Based Fully Convolutional Networks，R-FCN）引入到服装图像识别中，针对服装图像分类中网络训练时间长、形变服装图像识别率低的问题，提出一种新颖的改进框架HSR-FCN。新框架将R-FCN中的区域建议网络和HyperNet网络相融合，改变图片特征学习方式，使得HSR-FCN可以在更短的训练时间内达到更高的准确率。在模型中引入了空间转换网络，对输入服装图像和特征图进行了空间变换及对齐，加强了对多角度服装和形变服装的特征学习。实验结果表明，改进后的HSR-FCN模型有效地加强了对形变服装图像的学习，且在训练时间更短的情况下，比原来的网络模型R-FCN平均准确率提高了大约3个百分点，达到96.69%。     

锂辉石-氧化钙烧结法提锂的物相重构与动力学

对锂辉石-氧化钙烧结过程进行热力学分析，绘制了各反应Gibbs自由能与温度的关系图。结果表明，Al₂O₃会优先和Na₂O、Li₂O、K₂O反应，然后与CaO反应生成CaO·Al₂O₃，而且烧结温度需高于1060℃以保证LiAlSi₂O₆能够完成晶形转变。并探讨了锂辉石-氧化钙烧结法提锂的反应机理。考察了不同烧结条件对锂浸出率的影响并对熟料进行X射线衍射（XRD）分析表征。实验结果表明，在配料比为1∶1.25、烧结温度1150℃、烧结时间60min时，锂的浸出率达到92.14%，熟料中的主要物相为Ca₂SiO₄与LiAlO₂。利用XRD和扫描电镜-能谱联用仪（SEM-EDS）对熟料与浸出渣的物相、显微形貌及元素分布情况进行了分析表征。为了确定烧结反应的控制性步骤，在最优烧结条件的基础上对烧结过程进行动力学分析，结果表明，锂辉石-氧化钙烧结体系属于球形颗粒三维界面化学反应控制，烧结过程的动力学拟合方程为\mathrm{1}-{(\mathrm{1}-x)}^{\mathrm{1}/\mathrm{3}}=\mathrm{0.00677}t。     

某柴油机油底壳仿真计算分析

本文利用ABAQUS结构仿真软件对某发电用柴油机油底壳进行模态、强度计算。在发动机实际运行工况下,油底壳底部为悬空状态,模态计算结果显示油底壳一阶模态距发动机点火激励频率点较近,低于激励频率的1.2倍,模态不满足设计要求;在发动机装配过程中,油底壳底部压在装配台上,发动机在上下方向三倍的重力加速度冲击载荷工况下,油底壳产生的应力最大值低于对应材料的屈服强度极限,强度满足设计要求。通过对油底壳两种状态下的仿真分析,验证和确保了油底壳结构设计的可行性,有效避免了发动机装配和实际运行过程中故障的发生。     

苯乳酸抑制链格孢霉作用靶位的分析

以从自然腐败的樱桃上分离的链格孢霉（Alternaria sp.）LD3.0086为指示菌，研究苯乳酸对链格孢霉的主要抑制作用靶位。应用分光光度法测定苯乳酸对链格孢霉的最小抑菌浓度，通过卡尔科弗卢尔荧光增白剂染液（calcofluor white，CFW）染色观察苯乳酸对菌丝顶端生长的破坏作用，利用扫描电子显微镜和透射电子显微镜观察链格孢霉的超微结构变化，通过测定苯乳酸作用前后链格孢霉上清液中N-乙酰葡萄糖胺质量浓度变化研究苯乳酸对菌丝细胞壁的破坏作用，应用荧光双染色法观察苯乳酸对链格孢霉菌丝细胞膜的损伤作用。结果表明，12.5 mmol/L的苯乳酸能有效抑制链格孢霉的生长；与对照组（无菌水处理）相比，苯乳酸处理后链格孢霉顶端生长细胞无明显形变，经12.5 mmol/L苯乳酸处理的链格孢霉上清液中N-乙酰葡萄糖胺质量浓度基本不变；苯乳酸处理24 h，链格孢霉菌丝细胞壁表面无明显损伤，细胞内结构发生明显变化；苯乳酸短时间（4 h）处理链格孢霉，菌丝细胞膜仍较为完整，加入苯乳酸较长时间（8 h）后细胞膜发生破裂。综合分析可知，苯乳酸对链格孢霉的主要作用靶位应不是菌丝体的细胞壁和细胞膜，而是在菌丝体内部，通过破坏菌丝内部细胞器结构或引起细胞内的生化反应，从而抑制链格孢霉的生长和繁殖，发挥抑菌活性。     

基于衰变链计算的裂变产物缓发γ能谱分析

在军控核查技术中，缓发γ能谱是核材料的“指纹”。为计算和分析铀裂变产物的缓发γ能谱，本文将各种类型的衰变链简化为基态线性链和激发态线性链，推导了零时前后各级核素数目的变化公式，建构了计算缓发γ射线能谱的C语言程序代码，并通过实验对理论推导进行了验证。通过分析几种核素的缓发γ射线计数发现，计算结果与实验数据吻合较好。